Nuprl Definition : ma-dout
0,22
postcript
pdf
M
.dout(
l
,
tg
) == 1of(2of(
M
))(rcv(
l
,
tg
))?Void
latex
clarification:
M
.dout(
l
,
tg
) == fpf-cap(1of(2of(
M
));KindDeq;rcv(
l
,
tg
);Void)
latex
Definitions
f
(
x
)?
z
,
1of(
t
)
,
2of(
t
)
,
KindDeq
,
rcv(
l
,
tg
)
,
Void
FDL editor aliases
ma-dout
origin